- we succeeded in proving the theorem
- Математика: нам удалось доказать теорему
Универсальный англо-русский словарь. Академик.ру. 2011.
Универсальный англо-русский словарь. Академик.ру. 2011.
Logic and the philosophy of mathematics in the nineteenth century — John Stillwell INTRODUCTION In its history of over two thousand years, mathematics has seldom been disturbed by philosophical disputes. Ever since Plato, who is said to have put the slogan ‘Let no one who is not a geometer enter here’ over the… … History of philosophy
Fermat's Last Theorem — is the name of the statement in number theory that:: It is impossible to separate any power higher than the second into two like powers,or, more precisely:: If an integer n is greater than 2, then the equation a^n + b^n = c^n has no solutions in… … Wikipedia
Prime number theorem — PNT redirects here. For other uses, see PNT (disambiguation). In number theory, the prime number theorem (PNT) describes the asymptotic distribution of the prime numbers. The prime number theorem gives a general description of how the primes are… … Wikipedia
Proofs of Fermat's theorem on sums of two squares — Fermat s theorem on sums of two squares asserts that an odd prime number p can be expressed as: p = x^2 + y^2with integer x and y if and only if p is congruent to 1 (mod 4). The statement was announced by Fermat in 1640, but he supplied no proof … Wikipedia
Science and mathematics from the Renaissance to Descartes — George Molland Early in the nineteenth century John Playfair wrote for the Encyclopaedia Britannica a long article entitled ‘Dissertation; exhibiting a General View of the Progress of Mathematics and Physical Science, since the Revival of Letters … History of philosophy
Markov, Andrey Andreyevich — ▪ Russian mathematician born June 14, 1856, Ryazan, Russia died July 20, 1922, Petrograd [now St. Petersburg] Russian mathematician who helped to develop the theory of stochastic processes (stochastic process), especially those called… … Universalium
artificial intelligence — the capacity of a computer to perform operations analogous to learning and decision making in humans, as by an expert system, a program for CAD or CAM, or a program for the perception and recognition of shapes in computer vision systems. Abbr.:… … Universalium
Porism — The subject of porisms is perplexed by the multitude of different views which have been held by geometers as to what a porism really was and is.The treatise which has given rise to the controversies on this subject is the Porisms of Euclid, the… … Wikipedia
Gödel metric — The Gödel metric is an exact solution of the Einstein field equations in which the stress energy tensor contains two terms, the first representing the matter density of a homogeneous distribution of swirling dust particles, and the second… … Wikipedia
mathematics — /math euh mat iks/, n. 1. (used with a sing. v.) the systematic treatment of magnitude, relationships between figures and forms, and relations between quantities expressed symbolically. 2. (used with a sing. or pl. v.) mathematical procedures,… … Universalium
analysis — /euh nal euh sis/, n., pl. analyses / seez /. 1. the separating of any material or abstract entity into its constituent elements (opposed to synthesis). 2. this process as a method of studying the nature of something or of determining its… … Universalium